Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
131	BRICS Basic Research in Computer Science BRICS DS-97-3 T. Husfeldt: Dynamic Computation Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-01-16 09:45:05 Complexity classes Algorithm Mathematical logic Model of computation PP Dynamic problem P ACC0 Circuit complexity Theoretical computer science Computational complexity theory Applied mathematics
132	Negation Scope Delimitation in Clinical Text Using Three Approaches: NegEx, PyConTextNLP and SynNeg Hideyuki Tanushi1 , Hercules Dalianis1 , Martin Duneld1 , Maria Kvist1,2 , Maria Skeppstedt1 , Sumithra Velupillai1 (1) Add to Reading List Source URL: www.diva-portal.org Language: English - Date: 2013-10-31 05:33:58 Computational linguistics Boolean algebra Negation Parsing Treebank Auxiliary verb Logic programming Syntax Linguistics Grammar Semantics
133	Course: Deduction Systems (DS) Lecturer: Dr Paola Bruscoli ICCL/Institute for Arti cial Intelligence/Computational Logic Summer SemesterCoursework for Deduction Systems – due Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2012-05-27 11:59:05
134	Reflection Principles in Computational Logic JONAS BARKLUND, PIERANGELO DELL’ACQUA, Uppsala University, Computing Science Department, Box 311, SUppsala, Sweden. E-mail: , STEFANIA Add to Reading List Source URL: costantini.di.univaq.it - Date: 2009-11-30 06:18:28
135	Exercise 9 Foundations of Logic Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2012-01-13 06:29:28
136	Exercise 3 Foundations of Constraint Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:09:58
137	Exercise 5 Foundations of Logic Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:11:25
138	Exercise 4 Foundations of Logic Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk - Date: 2012-01-04 14:11:24
139	Exercise 1 Foundations of Logic Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:11:17
140	Logic and Computational Complexity 2012 INVITED SPEAKER: Etienne Grandjean TITLE: An invitation to linear time complexity ABSTRACT: The polynomial time class (PTIME) is one of the most fundamental complexity classes, gen Add to Reading List Source URL: ptmat.fc.ul.pt Language: English - Date: 2012-06-20 17:07:09

UPDATE